Circle Detection Using Hough Transforms Documentation COMS30121 - Image Processing and Computer Vision Jaroslav Boroviˇcka – , Contents

Source URL: borovicka.org

• Feature detection
• Image processing
• Gaussian function
• Linear filters
• Sobel operator
• Edge detection
• Gaussian blur
• Convolution
• Hough transform
• Filter
• Gaussian filter
• Electronic filter

Fluctuations, effective learnability and metastability in analysis Ulrich Kohlenbach, Pavol Safarik Department of Mathematics, Technische Universit¨ at Darmstadt, Schlossgartenstraße 7, 64289 Darmstadt, Germany

Source URL: www.mathematik.tu-darmstadt.de

• Computability theory
• Mathematical logic
• Mathematics
• Theoretical computer science
• Theory of computation
• Computable function
• Primitive recursive function
• operator
• Language identification in the limit
• Sequence
• Arithmetical hierarchy
• Cauchy sequence

Automated Framework for Formal Operator Task Analysis Ayesha Yasmeen Elsa L. Gunter Department of Computer Science

Source URL: seclab.illinois.edu

Some logical metatheorems with applications in functional analysis Ulrich Kohlenbach∗ BRICS† Department of Computer Science University of Aarhus

Source URL: www.mathematik.tu-darmstadt.de

• Metric geometry
• Space
• Mathematics
• Topology
• Structure
• Topological spaces
• Metric
• Complete metric space
• operator
• Spectral theory of ordinary differential equations

Intuitionistic choice and restricted classical logic Ulrich Kohlenbach BRICS∗ Department of Computer Science University of Aarhus Ny Munkegade

Source URL: www.mathematik.tu-darmstadt.de

• Symbol
• Operator theory
• Proof theory
• Differential forms on a Riemann surface
• It diffusion

On divergences, surrogate loss functions, and decentralized detection XuanLong Nguyen Computer Science Division University of California, Berkeley

Source URL: dept.stat.lsa.umich.edu

• Mathematics
• Mathematical analysis
• Smooth functions
• Distribution
• Functional analysis
• Constructible universe
• Divergence
• Net
• operator
• Differential forms on a Riemann surface

Proof mining in L1-approximation Ulrich Kohlenbach a,1, Paulo Oliva a,1 a Department of Computer Science, University of Aarhus, DK-8000 Aarhus C,

Source URL: www.mathematik.tu-darmstadt.de

• Mathematical analysis
• Mathematics
• Operator theory
• Computability theory
• Approximation theory
• Fourier analysis
• Modulus of continuity
• Primitive recursive function
• Linear temporal logic
• Differential forms on a Riemann surface

Opening the Black Boxes in Data Flow Optimization †4 Fabian Hueske*1 Mathias Peters†2 Matthias J. Sax†3 Astrid Rheinlander

Source URL: stratosphere.eu

• Software engineering
• Computer programming
• Computing
• Functional analysis
• Distributed computing architecture
• Parallel computing
• Parallelization contract
• Relational database
• Restriction
• Relational model
• Operator
• Higher-order function

IEEE TRANSACTIONS ON VISUALIZATION AND COMPUTER GRAPHICS, VOL. 21, NO. 6,

Source URL: geostat.bordeaux.inria.fr

• Image processing
• Smoothing
• Bilateral filter
• Gaussian blur
• Filter
• Pyramid
• Discrete Laplace operator
• Separable filter
• Gaussian filter
• Deconvolution
• Canny edge detector
• Exponential smoothing

1 Dart in Action By Chris Buckett Overloading happens when you provide a new implementation customized to your particular class, which allows you to overload the common operators such

Source URL: freecontent.manning.com

• Software engineering
• Computer programming
• Computing
• Cross-platform software
• Operator overloading
• C++
• Operator
• Method
• JSON
• Utility
• Function overloading
• Relational operator